추이적 관계

In a binary relation $R$ on the set $S$, $\mathrm{\forall }a,b,c\in X$, $aRb$ and $bRc$, then $aRc$. Or in terms of first-order logic: $\mathrm{\forall }a,b,c\in X:(aRb\wedge bRc)⟹aRc$.